Platform Independent Specification of Simulation Model Components
نویسنده
چکیده
Simulation model composability is a highly debated issue, especially the specific requirements of model components as compared to software components. Selected software component techniques are reviewed and adapted according to simulation models needs. Standard technologies like UML and XML are exploited to form the basis for a specification layer that wraps model definitions. This layer accounts for explicit dependencies, compositions, and parametrization of simulation models. Thereby, the specification of model components can be done in a platform and simulation system independent manner. For the purpose of simulation a mapping to a concrete modeling formalism becomes necessary. This is here done on the example of the Parallel DEVS formalism. Keywords—Model Components, XML, UML, Parallel DEVS
منابع مشابه
Distributed Middleware Services Composition and Synthesis Technology
The highly distributed and resource constrained nature of computing in Networked Embedded Systems necessitates an application specific middleware—a kind of distributed operating system that provides global services for the application. We propose to automatically synthesize the middleware from abstract, platform-independent algorithm models. The modeling language captures the temporal and compu...
متن کاملEin flexibler, CORBA-basierter Ansatz für die verteilte, komponentenorientierte Simulation
Creation of models for simulation usually entails considerable development efforts. Therefore, it is reasonable to reuse existing valid parts of complex simulation models (model components) in other simulation studies. But reuse is hardly ever seen across the boundaries of a single simulation system since the coupling of different simulators often incorporates large technical obstacles. Past ap...
متن کاملModeling and Simulation of TDL Applications
Most of the existing modeling tools and frameworks for embedded applications use levels of abstraction where execution and communication times of computational tasks are not captured. Thus, properties such as time and value determinism can be lost when refining the model closer to a target platform. The Logical Execution Time (LET) paradigm has been proposed to deal with this issue, by enabling...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملLarge-Scale Simulation Platform
A large-scale simulation platform that includes various simulation engines and is intended for application in a variety of domains is considered. Conceptual design of platform and its implementation are described. The platform supports model-based software development and uses structural synthesis of programs for translation of declarative specification of simulation problems into executable co...
متن کامل